Type enforcement